Blar i NTNU Open på forfatter "Ryan, Peter Y. A."

Viser treff 1-2 av 2

    • Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co 

      Drăgan, Constantin Cătălin; Dupressoir, François; Estaji, Ehsan; Gjøsteen, Kristian; Haines, Thomas; Ryan, Peter Y. A.; Rønne, Peter B.; Solberg, Morten Rotvold (Chapter, 2022)
      Privacy is a notoriously difficult property to achieve in complicated systems and especially in electronic voting schemes. Moreover, electronic voting schemes is a class of systems that require very high assurance. The ...

    • Revisiting Practical and Usable Coercion-Resistant Remote E-Voting 

      Estaji, Ehsan; Haines, Thomas Edmund; Gjøsteen, Kristian; Ryan, Peter Y. A. (Peer reviewed; Journal article, 2020)
      In this paper we revisit the seminal coercion-resistant e-voting protocol by Juels, Catalano and Jakobsson (JCJ) and in particular the attempts to make it usable and practical. In JCJ the user needs to handle cryptographic ...